چکیده منطق مرتبه اول پیوسته برای پیوند آنالیز مدل تئوریک با ساختارهای تحلیلی ( فضاهای هیلبرت، فضاهای باناخ، فضاهای احتمال و ... ) به کار گرفته شده است. نظریه مدل محاسبه پذیر کلاسیک برای بررسی ساختار الگوریتمی آن دسته از اشیای ریاضی که می توان در منطق مرتبه اول کلاسیک توصیف کرد به کار می رود. در این پایان نامه نشان می دهیم که محاسبه ی احتمالی ( که پاهی از آن با نام محاسبه ی تصادفی یاد می شود )...

به طور کلی احتمال، ویژگی ذاتی مکانیک کوانتومی می‏باشد. این مفهوم جزء لاینفک مکانیک کوانتومی است و قابل حذف نمی‏باشد. یکی از تحقیقاتی که برای حذف احتمال از مکانیک کوانتومی انجام شده است بررسی‏های دوچ است که جزئیات این بحث در این تحقیق به تفصیل توضیح داده می‏شود. همچنین با توجه به این که نظریه بازی یک نظریه تصمیم‏گیری است تمایل زیادی برای تعمیم این نظریه به حوزه احتمالات کوانتومی وجود دارد. در نظ...

تئوری گراف شاخه ای از ریاضیات گسسته است که در چند دهه اخیر بخاطر حضور کامپیوتر، کاربرد فراوانی در علوم مهندسی پیدا نموده است. مهندسین، با استفاده از خواصهای یک گراف می توانند سیستم های فیزیکی و مهندسی را تعریف کنند و با استعانت از این خواص مورد بررسی قرار دهند. اکثر ویژگیهای مهم یک گراف در بردارهای ویژه آن مستتر می باشد-که نمونه ای از آن بردار فیدلر می باشد-بنابراین مسئله مقادیر ویژه و محاصره ب...

امروزه استفاده از فناوری نانو در تمامی جنبه های زندگی بشر، امری غیر قابل انکار است و وجود آن در عصر حاضر در تمامی علوم احساس می شود. در این تحقیق با توجه به پتانسیل ساختارهای نانو در به کارگیری در سامانه های زیستی و با توجه به میزان سمیت بسیار پایین و پایداری شیمیایی بالای ساختارهای بور نیتریدی، از نانو ساختارهای مخروطی شکل بور نیتریدی بهره گرفته و با استفاده از محاسبات کوانتومی به بررسی برهمکن...

امروزه نظریه تابعی چگالی و دسته معادلات تک ذره کان-شم که بر پایه این نظریه استخراج شده اند، به عنوان یک روش اساسی جهت محاسبات ساختار الکترونی جامدات مطرح است؛ اما تاکنون فرمول بندی جامعی برای تابعی انرژی تبادلی-همبستگی که در این دسته معادلات وجود دارد، ارائه نشده است. مهم ترین تقریب هایی که در محاسبه این عبارت استفاده می شود، تقریب چگالی موضعی lsda و شکل تکمیل شده آن یعنی تقریب شیب تعمیم یافته ...

دراین مقاله، تلاش شد تا به اجزای برخی از رویکردهای مطرح مدل سازی تطوری چون: شبیه سازی های چند عاملی، محاسبه تطوری و نظریه بازی تطوری اشاره شود. همان طور که در مقاله به آن اشاره شده است، در سال های اخیر، تعداد ابداعات تطوری وارد شده به مدل سازی چندعامله، به طور قابل توجهی افزایش یافته است اما به هر حال، یک قاعده مشترک برای تصریح مدل در این رویکرد، تاکنون ایجاد نشده است. درکنار بهره گیری از روش م...